9f0e5d242a12982a74f2f81257607e0d758ed22b,src/main/java/wyc/commands/Compile.java,Compile,addVerificationBuildRules,#StdProject#,262
Before Change
Content.Filter<WyalFile> wyalExcludes = null;
// Rule for compiling WyIL to WyAL
Wyil2WyalBuilder wyalBuilder = new Wyil2WyalBuilder(project);
wyalBuilder.setLogger(logger);
project.add(new StdBuildRule(wyalBuilder, wyildir, wyilIncludes, wyilExcludes, wyaldir));
// Rule for compiling WyAL to WyCS
Wyal2WycsBuilder wycsBuilder = new Wyal2WycsBuilder(project);
After Change
Content.Filter<WyalFile> wyalExcludes = null;
// Rule for compiling WyIL to WyAL
Wyil2WyalBuilder wyalBuilder = new Wyil2WyalBuilder(project);
if(verbose) {
wyalBuilder.setLogger(logger);
}
project.add(new StdBuildRule(wyalBuilder, wyildir, wyilIncludes, wyilExcludes, wyaldir));
// Rule for compiling WyAL to WyCS